Search Results
Homotopy Type Theory: Vladimir Voevodsky - Computerphile
Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky
Gathering in Remembrance of Vladimir Voevodsky
Foundations of Mathematics and Homotopy Theory - Vladimir Voevodsky
Type Systems - Vladimir Voevodsky
Vladimir Voevodsky: Multiple Concepts of Equality in the New Foundations of Mathematics
What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky
4th HLF – Lecture: Vladimir Voevodsky
Prof Vladimir Voevodsky at GYSS 2017 - What is Constructive Mathematics and Why it is Important
Computer Science and Homotopy Theory - Vladimir Voevodsky
An Intuitive Introduction to Motivic Homotopy Theory - Vladimir Voevodsky
The meta-theory of dependent type theories - Vladimir Voevodsky
